Formal Reasoning about Dialogue Properties with Automatic Support

نویسنده

  • Fabio Paternò
چکیده

One of the advantages of using formal methods in the design of human–computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support to this end. This paper discusses the possibilities of verifying the properties of user interfaces and related problems, such as when the dialogue specification has an infinite number of states. We provide an example of a set of general user interfaces properties, and we show how these properties can be tailored for specific cases and thus be used as a framework to evaluate the design of the interactive application considered. q 1997 Elsevier Science B.V.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dialogue Management in the EMBASSI Realm Using Description Logics to Reason about Ontology Concepts

The integration of utterances in their contexts, by the help of reasoning about the concepts of the domain – organized in a formal ontology and laid down in Description Logics –, enables successful dialogue management for spoken language. We outline our dialogue model and our approach of establishing a formal ontology within the

متن کامل

Representing Plans as a Set of Constraints - the <I-N-OVA> Model

This paper presents an approach to repr~enting and manipulating plans based on a model of plans as a set of constraints. The 1 (Issues Nodes Orderlngs/Variables/Auziliary) model is used to cha~acte~ise the plan representation used within O-Plan and to relate this work to emerging formal analyses of plans and planning. This synergy of practical and formal approaches can stretch the form...

متن کامل

Using Focus Rules in Requirements Elicitation Dialogues

Requirements engineering is a complex task which benefits from computer support. Despite the pro­ gress made in automatic reasoning on require­ ments, the tools supporting requirements elicitation remain difficult to use. In this paper we propose a novel approach where a tool's reasoning is intim­ ately linked to the dialogue it has with its users. Because the dialogue is guided by rules ensuri...

متن کامل

Dialogue Graphs - A Formal and Visual Specification Technique for Dialogue Modelling

This paper presents the formal definition and visual presentation of Dialogue graphs -a visual specification technique for dialogue modelling. The Dialogue graphs are used in TADEUS to support an explicit dialogue modelling stage in a task-oriented and model-based approach to the development of interactive systems and automatic generation of the user interface code. The requirements of such a s...

متن کامل

Towards a Formal Model of Knowledge Acquisition via Cooeperative Dialogue

We aim, in this paper, to make a a first step towards developing a model of knowledge acquisition/learning via cooperative dialogue. A key idea in the model is the concept of integrating exchanged information, via dialogue, within an agent's theory. The process is nonmonotonic. Dialogue is a structured process and the structure is relative to what an agent knows about the world or a domain of d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Interacting with Computers

دوره 9  شماره 

صفحات  -

تاریخ انتشار 1997